Precompiled knowledge support for dynamic argumentation
نویسندگان
چکیده
Argumentative formalisms have been widely recognized as knowledge representation and reasoning tools able to deal with incomplete and potentially contradictory information. All such formalisms are computationally demanding. Hence, optimizing argumentative systems has been approached from di®erent views. We have developed a new proposal to solve the aforementioned problem. The key to our approach consists in maintaining a module associated with the knowledge base of the system, with additional information that may help to speed up the inference process. As truth maintenance systems optimize general problem solvers, this module could play a similar role in argumentative systems.
منابع مشابه
ARTÍCULOAAAAAAAAAAAAAAAAAARTÍCULO ARTÍCULO On the construction of Dialectical Databases ∗
Argumentation systems have substantially evolved in the past few years, resulting in adequate tools to model some forms of common sense reasoning. This has sprung a new set of argument-based applications in diverse areas. In previous work, we defined how to use precompiled knowledge to obtain significant speed-ups in the inference process of an argument-based system. This development is based o...
متن کاملDynamic Rule Mining for Argumentation Based Systems
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumentation Dialogue Using Association Rules), a novel argumentation formalism that dynamically mines Association Rules (ARs) from the case background as a means to: (i) generate the arguments exchanged among dialogue particip...
متن کاملWeb-based Mass Argumentation in Natural Language
We provide a novel framework and implementation which integrates tools to support the acquisition of mass, distributive, incremental, dynamic, argumentative knowledge in natural language. With the Attempto Controlled English (ACE) system, natural language statements are automatically translated to a machine processable form. A discussion forum allows the specification of argumentation theoretic...
متن کاملRedefining Knowledge in a Way Suitable for Argumentation Theory
Knowledge plays an important role in argumentation. Yet, recent work shows that standard conceptions of knowledge in epistemology may not be entirely suitable for argumentation. This paper explores the role of knowledge in argumentation, and proposes a notion of knowledge that promises to be more suitable for argumentation by taking account of: its dynamic nature, the defeasibility of our commi...
متن کاملMerging Deductive and Abductive Knowledge Bases: An Argumentation Context Approach
The consideration of heterogenous knowledge sources for supporting decision making is key to accomplish informed decisions, e.g., about medical diagnosis. Consequently, merging different data from different knowledge bases is a key issue for providing support for decision-making. In this paper, we explore an argumentation context approach, which follows how medical professionals typically reaso...
متن کامل